Home
About
Cn
Dn
Sn
An
Degree
Linear
Irr Reps
Characters
x
:
.
o
wr

Extensions 1→N→G→Q→1 with N=C22:Q8 and Q=C22

Direct product G=NxQ with N=C22:Q8 and Q=C22
dρLabelID
C22xC22:Q864C2^2xC2^2:Q8128,2165

Semidirect products G=N:Q with N=C22:Q8 and Q=C22
extensionφ:Q→Out NdρLabelID
C22:Q8:1C22 = D4.(C2xD4)φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:1C2^2128,1741
C22:Q8:2C22 = (C2xD4):21D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:2C2^2128,1744
C22:Q8:3C22 = (C2xC8):11D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:3C2^2128,1789
C22:Q8:4C22 = M4(2):16D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:4C2^2128,1794
C22:Q8:5C22 = C4.2+ 1+4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:5C2^2128,1930
C22:Q8:6C22 = C4.152+ 1+4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:6C2^2128,1932
C22:Q8:7C22 = D8:9D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:7C2^2128,1996
C22:Q8:8C22 = SD16:D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:8C2^2128,1997
C22:Q8:9C22 = SD16:6D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:9C2^2128,1998
C22:Q8:10C22 = D8:10D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:10C2^2128,1999
C22:Q8:11C22 = D8:4D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:11C2^2128,2004
C22:Q8:12C22 = D8:5D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:12C2^2128,2005
C22:Q8:13C22 = D4xSD16φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:13C2^2128,2013
C22:Q8:14C22 = SD16:10D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:14C2^2128,2014
C22:Q8:15C22 = D4:7SD16φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:15C2^2128,2027
C22:Q8:16C22 = C42.461C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:16C2^2128,2028
C22:Q8:17C22 = C42.45C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:17C2^2128,2042
C22:Q8:18C22 = C42.46C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:18C2^2128,2043
C22:Q8:19C22 = C42.49C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:19C2^2128,2046
C22:Q8:20C22 = C42.472C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:20C2^2128,2055
C22:Q8:21C22 = C42.473C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:21C2^2128,2056
C22:Q8:22C22 = C22.74C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:22C2^2128,2217
C22:Q8:23C22 = C22.75C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:23C2^2128,2218
C22:Q8:24C22 = C22.77C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:24C2^2128,2220
C22:Q8:25C22 = C22.79C25φ: C22/C1 → C22 ⊆ Out C22:Q816C2^2:Q8:25C2^2128,2222
C22:Q8:26C22 = C22.80C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:26C2^2128,2223
C22:Q8:27C22 = C22.81C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:27C2^2128,2224
C22:Q8:28C22 = C22.82C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:28C2^2128,2225
C22:Q8:29C22 = C22.83C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:29C2^2128,2226
C22:Q8:30C22 = C22.84C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:30C2^2128,2227
C22:Q8:31C22 = C4:2+ 1+4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:31C2^2128,2228
C22:Q8:32C22 = C22.89C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:32C2^2128,2232
C22:Q8:33C22 = C22.90C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:33C2^2128,2233
C22:Q8:34C22 = C22.94C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:34C2^2128,2237
C22:Q8:35C22 = C22.99C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:35C2^2128,2242
C22:Q8:36C22 = C22.102C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:36C2^2128,2245
C22:Q8:37C22 = C22.103C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:37C2^2128,2246
C22:Q8:38C22 = C23.144C24φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:38C2^2128,2252
C22:Q8:39C22 = C22.110C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:39C2^2128,2253
C22:Q8:40C22 = C42:C23φ: C22/C1 → C22 ⊆ Out C22:Q816C2^2:Q8:40C2^2128,2264
C22:Q8:41C22 = C22.122C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:41C2^2128,2265
C22:Q8:42C22 = C22.123C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:42C2^2128,2266
C22:Q8:43C22 = C22.124C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:43C2^2128,2267
C22:Q8:44C22 = C22.125C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:44C2^2128,2268
C22:Q8:45C22 = C22.127C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:45C2^2128,2270
C22:Q8:46C22 = C22.128C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:46C2^2128,2271
C22:Q8:47C22 = C22.129C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:47C2^2128,2272
C22:Q8:48C22 = C22.130C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:48C2^2128,2273
C22:Q8:49C22 = C22.131C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:49C2^2128,2274
C22:Q8:50C22 = C22.134C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:50C2^2128,2277
C22:Q8:51C22 = C22.135C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:51C2^2128,2278
C22:Q8:52C22 = C22.140C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:52C2^2128,2283
C22:Q8:53C22 = C22.147C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:53C2^2128,2290
C22:Q8:54C22 = C22.149C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:54C2^2128,2292
C22:Q8:55C22 = C22.150C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:55C2^2128,2293
C22:Q8:56C22 = C22.151C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:56C2^2128,2294
C22:Q8:57C22 = C22.153C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:57C2^2128,2296
C22:Q8:58C22 = C22.157C25φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8:58C2^2128,2300
C22:Q8:59C22 = C2xC22:SD16φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:59C2^2128,1729
C22:Q8:60C22 = C2xD4.7D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:60C2^2128,1733
C22:Q8:61C22 = C24.103D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:61C2^2128,1734
C22:Q8:62C22 = C24.177D4φ: C22/C2 → C2 ⊆ Out C22:Q816C2^2:Q8:62C2^2128,1735
C22:Q8:63C22 = C24.104D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:63C2^2128,1737
C22:Q8:64C22 = C24.106D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:64C2^2128,1739
C22:Q8:65C22 = C2xC8:8D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:65C2^2128,1779
C22:Q8:66C22 = C2xC8:D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:66C2^2128,1783
C22:Q8:67C22 = M4(2):14D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:67C2^2128,1787
C22:Q8:68C22 = C23:4SD16φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:68C2^2128,1919
C22:Q8:69C22 = C24.121D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:69C2^2128,1920
C22:Q8:70C22 = C24.126D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:70C2^2128,1925
C22:Q8:71C22 = C24.127D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:71C2^2128,1926
C22:Q8:72C22 = C2xC23.38C23φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:72C2^2128,2179
C22:Q8:73C22 = C2xC22.31C24φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:73C2^2128,2180
C22:Q8:74C22 = C22.38C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:74C2^2128,2181
C22:Q8:75C22 = C2xC22.32C24φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:75C2^2128,2182
C22:Q8:76C22 = C2xC22.33C24φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:76C2^2128,2183
C22:Q8:77C22 = C2xC22.36C24φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:77C2^2128,2186
C22:Q8:78C22 = C22.44C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:78C2^2128,2187
C22:Q8:79C22 = C2xC23:2Q8φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:79C2^2128,2188
C22:Q8:80C22 = C22.48C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:80C2^2128,2191
C22:Q8:81C22 = C22.49C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:81C2^2128,2192
C22:Q8:82C22 = C2xD4:5D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:82C2^2128,2195
C22:Q8:83C22 = C2xD4:6D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:83C2^2128,2196
C22:Q8:84C22 = C2xQ8:5D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:84C2^2128,2197
C22:Q8:85C22 = C2xD4xQ8φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:85C2^2128,2198
C22:Q8:86C22 = D4xC4oD4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:86C2^2128,2200
C22:Q8:87C22 = C2xC22.45C24φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:87C2^2128,2201
C22:Q8:88C22 = C2xC22.46C24φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:88C2^2128,2202
C22:Q8:89C22 = C2xD4:3Q8φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:89C2^2128,2204
C22:Q8:90C22 = C2xC22.50C24φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:90C2^2128,2206
C22:Q8:91C22 = C22.64C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:91C2^2128,2207
C22:Q8:92C22 = C22.70C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:92C2^2128,2213
C22:Q8:93C22 = C22.73C25φ: C22/C2 → C2 ⊆ Out C22:Q816C2^2:Q8:93C2^2128,2216
C22:Q8:94C22 = C22.76C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:94C2^2128,2219
C22:Q8:95C22 = C22.78C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:95C2^2128,2221
C22:Q8:96C22 = C22.95C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:96C2^2128,2238
C22:Q8:97C22 = C2xC22.56C24φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:97C2^2128,2259
C22:Q8:98C22 = C2xC22.57C24φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8:98C2^2128,2260
C22:Q8:99C22 = C22.118C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:99C2^2128,2261
C22:Q8:100C22 = C22.126C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:100C2^2128,2269
C22:Q8:101C22 = C22.132C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:101C2^2128,2275
C22:Q8:102C22 = C22.155C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8:102C2^2128,2298
C22:Q8:103C22 = C2xC22.19C24φ: trivial image32C2^2:Q8:103C2^2128,2167
C22:Q8:104C22 = C2xC23.36C23φ: trivial image64C2^2:Q8:104C2^2128,2171
C22:Q8:105C22 = C22.108C25φ: trivial image32C2^2:Q8:105C2^2128,2251

Non-split extensions G=N.Q with N=C22:Q8 and Q=C22
extensionφ:Q→Out NdρLabelID
C22:Q8.1C22 = C23:SD16φ: C22/C1 → C22 ⊆ Out C22:Q816C2^2:Q8.1C2^2128,328
C22:Q8.2C22 = C4:C4.D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.2C2^2128,329
C22:Q8.3C22 = (C2xC4):SD16φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.3C2^2128,331
C22:Q8.4C22 = C24.9D4φ: C22/C1 → C22 ⊆ Out C22:Q816C2^2:Q8.4C2^2128,332
C22:Q8.5C22 = C23:Q16φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.5C2^2128,334
C22:Q8.6C22 = C4:C4.6D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.6C2^2128,335
C22:Q8.7C22 = (C2xC4):Q16φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.7C2^2128,337
C22:Q8.8C22 = C24.12D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.8C2^2128,338
C22:Q8.9C22 = C24.14D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.9C2^2128,340
C22:Q8.10C22 = C4:C4.12D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.10C2^2128,341
C22:Q8.11C22 = (C2xC4).SD16φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.11C2^2128,343
C22:Q8.12C22 = C24.15D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.12C2^2128,344
C22:Q8.13C22 = C24.17D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.13C2^2128,346
C22:Q8.14C22 = C4:C4.18D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.14C2^2128,347
C22:Q8.15C22 = C4:C4.20D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.15C2^2128,349
C22:Q8.16C22 = C24.18D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.16C2^2128,350
C22:Q8.17C22 = Q8.(C2xD4)φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.17C2^2128,1743
C22:Q8.18C22 = (C2xQ8):17D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.18C2^2128,1745
C22:Q8.19C22 = C8.D4:C2φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.19C2^2128,1791
C22:Q8.20C22 = (C2xC8):13D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.20C2^2128,1792
C22:Q8.21C22 = (C2xC8):14D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.21C2^2128,1793
C22:Q8.22C22 = M4(2):17D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.22C2^2128,1795
C22:Q8.23C22 = (C2xD4).302D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.23C2^2128,1829
C22:Q8.24C22 = (C2xD4).303D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.24C2^2128,1830
C22:Q8.25C22 = (C2xD4).304D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.25C2^2128,1831
C22:Q8.26C22 = C42.352C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.26C2^2128,1850
C22:Q8.27C22 = C42.354C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.27C2^2128,1852
C22:Q8.28C22 = C42.355C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.28C2^2128,1853
C22:Q8.29C22 = C42.357C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.29C2^2128,1855
C22:Q8.30C22 = C42.358C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.30C2^2128,1856
C22:Q8.31C22 = C42.359C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.31C2^2128,1857
C22:Q8.32C22 = C42.361C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.32C2^2128,1859
C22:Q8.33C22 = C42.385C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.33C2^2128,1905
C22:Q8.34C22 = C42.386C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.34C2^2128,1906
C22:Q8.35C22 = C42.387C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.35C2^2128,1907
C22:Q8.36C22 = C42.389C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.36C2^2128,1909
C22:Q8.37C22 = C42.390C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.37C2^2128,1910
C22:Q8.38C22 = C42.391C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.38C2^2128,1911
C22:Q8.39C22 = C4.162+ 1+4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.39C2^2128,1933
C22:Q8.40C22 = C4.172+ 1+4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.40C2^2128,1934
C22:Q8.41C22 = C4.182+ 1+4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.41C2^2128,1935
C22:Q8.42C22 = C4.192+ 1+4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.42C2^2128,1936
C22:Q8.43C22 = C42.408C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.43C2^2128,1954
C22:Q8.44C22 = C42.409C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.44C2^2128,1955
C22:Q8.45C22 = C42.410C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.45C2^2128,1956
C22:Q8.46C22 = C42.411C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.46C2^2128,1957
C22:Q8.47C22 = C42.424C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.47C2^2128,1974
C22:Q8.48C22 = C42.425C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.48C2^2128,1975
C22:Q8.49C22 = C42.426C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.49C2^2128,1976
C22:Q8.50C22 = C4.2- 1+4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.50C2^2128,1989
C22:Q8.51C22 = C42.25C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.51C2^2128,1990
C22:Q8.52C22 = C42.27C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.52C2^2128,1992
C22:Q8.53C22 = C42.28C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.53C2^2128,1993
C22:Q8.54C22 = C42.29C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.54C2^2128,1994
C22:Q8.55C22 = C42.30C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.55C2^2128,1995
C22:Q8.56C22 = SD16:7D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.56C2^2128,2000
C22:Q8.57C22 = SD16:8D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.57C2^2128,2001
C22:Q8.58C22 = Q16:9D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.58C2^2128,2002
C22:Q8.59C22 = Q16:10D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.59C2^2128,2003
C22:Q8.60C22 = SD16:2D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.60C2^2128,2007
C22:Q8.61C22 = SD16:3D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.61C2^2128,2008
C22:Q8.62C22 = Q16:4D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.62C2^2128,2009
C22:Q8.63C22 = Q16:5D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.63C2^2128,2010
C22:Q8.64C22 = D8:12D4φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.64C2^2128,2012
C22:Q8.65C22 = D8:13D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.65C2^2128,2015
C22:Q8.66C22 = SD16:11D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.66C2^2128,2016
C22:Q8.67C22 = Q16:12D4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.67C2^2128,2017
C22:Q8.68C22 = D4xQ16φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.68C2^2128,2018
C22:Q8.69C22 = C42.462C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.69C2^2128,2029
C22:Q8.70C22 = D4:8SD16φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.70C2^2128,2030
C22:Q8.71C22 = D4:5Q16φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.71C2^2128,2031
C22:Q8.72C22 = C42.465C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.72C2^2128,2032
C22:Q8.73C22 = C42.466C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.73C2^2128,2033
C22:Q8.74C22 = C42.467C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.74C2^2128,2034
C22:Q8.75C22 = C42.468C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.75C2^2128,2035
C22:Q8.76C22 = C42.469C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.76C2^2128,2036
C22:Q8.77C22 = C42.41C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.77C2^2128,2038
C22:Q8.78C22 = C42.42C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.78C2^2128,2039
C22:Q8.79C22 = C42.43C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.79C2^2128,2040
C22:Q8.80C22 = C42.47C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.80C2^2128,2044
C22:Q8.81C22 = C42.48C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.81C2^2128,2045
C22:Q8.82C22 = C42.50C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.82C2^2128,2047
C22:Q8.83C22 = C42.51C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.83C2^2128,2048
C22:Q8.84C22 = C42.52C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.84C2^2128,2049
C22:Q8.85C22 = C42.54C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.85C2^2128,2051
C22:Q8.86C22 = C42.55C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.86C2^2128,2052
C22:Q8.87C22 = C42.56C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.87C2^2128,2053
C22:Q8.88C22 = C42.471C23φ: C22/C1 → C22 ⊆ Out C22:Q832C2^2:Q8.88C2^2128,2054
C22:Q8.89C22 = C42.475C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.89C2^2128,2058
C22:Q8.90C22 = C42.476C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.90C2^2128,2059
C22:Q8.91C22 = C42.477C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.91C2^2128,2060
C22:Q8.92C22 = C42.478C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.92C2^2128,2061
C22:Q8.93C22 = C42.479C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.93C2^2128,2062
C22:Q8.94C22 = C42.480C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.94C2^2128,2063
C22:Q8.95C22 = C42.482C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.95C2^2128,2065
C22:Q8.96C22 = D4:9SD16φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.96C2^2128,2067
C22:Q8.97C22 = C42.485C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.97C2^2128,2068
C22:Q8.98C22 = C42.486C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.98C2^2128,2069
C22:Q8.99C22 = D4:6Q16φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.99C2^2128,2070
C22:Q8.100C22 = C42.489C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.100C2^2128,2072
C22:Q8.101C22 = C42.491C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.101C2^2128,2074
C22:Q8.102C22 = C42.57C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.102C2^2128,2075
C22:Q8.103C22 = C42.58C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.103C2^2128,2076
C22:Q8.104C22 = C42.60C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.104C2^2128,2078
C22:Q8.105C22 = C42.62C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.105C2^2128,2080
C22:Q8.106C22 = C42.63C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.106C2^2128,2081
C22:Q8.107C22 = C42.64C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.107C2^2128,2082
C22:Q8.108C22 = C42.492C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.108C2^2128,2083
C22:Q8.109C22 = C42.493C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.109C2^2128,2084
C22:Q8.110C22 = C42.494C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.110C2^2128,2085
C22:Q8.111C22 = C42.497C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.111C2^2128,2088
C22:Q8.112C22 = C42.498C23φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.112C2^2128,2089
C22:Q8.113C22 = C4:2- 1+4φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.113C2^2128,2229
C22:Q8.114C22 = C22.88C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.114C2^2128,2231
C22:Q8.115C22 = C22.92C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.115C2^2128,2235
C22:Q8.116C22 = C22.93C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.116C2^2128,2236
C22:Q8.117C22 = C22.96C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.117C2^2128,2239
C22:Q8.118C22 = C22.100C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.118C2^2128,2243
C22:Q8.119C22 = C22.101C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.119C2^2128,2244
C22:Q8.120C22 = C22.105C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.120C2^2128,2248
C22:Q8.121C22 = C22.111C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.121C2^2128,2254
C22:Q8.122C22 = C22.113C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.122C2^2128,2256
C22:Q8.123C22 = C22.133C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.123C2^2128,2276
C22:Q8.124C22 = C22.136C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.124C2^2128,2279
C22:Q8.125C22 = C22.141C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.125C2^2128,2284
C22:Q8.126C22 = C22.142C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.126C2^2128,2285
C22:Q8.127C22 = C22.143C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.127C2^2128,2286
C22:Q8.128C22 = C22.144C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.128C2^2128,2287
C22:Q8.129C22 = C22.146C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.129C2^2128,2289
C22:Q8.130C22 = C22.148C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.130C2^2128,2291
C22:Q8.131C22 = C22.152C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.131C2^2128,2295
C22:Q8.132C22 = C22.156C25φ: C22/C1 → C22 ⊆ Out C22:Q864C2^2:Q8.132C2^2128,2299
C22:Q8.133C22 = C2xC23.31D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.133C2^2128,231
C22:Q8.134C22 = C42.375D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.134C2^2128,232
C22:Q8.135C22 = C24.53D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.135C2^2128,233
C22:Q8.136C22 = C42.404D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.136C2^2128,235
C22:Q8.137C22 = C24.150D4φ: C22/C2 → C2 ⊆ Out C22:Q816C2^2:Q8.137C2^2128,236
C22:Q8.138C22 = C42.56D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.138C2^2128,238
C22:Q8.139C22 = C24.55D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.139C2^2128,240
C22:Q8.140C22 = C42.57D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.140C2^2128,241
C22:Q8.141C22 = C24.57D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.141C2^2128,243
C22:Q8.142C22 = C42.58D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.142C2^2128,244
C22:Q8.143C22 = C24.58D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.143C2^2128,245
C22:Q8.144C22 = C42.60D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.144C2^2128,247
C22:Q8.145C22 = C24.59D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.145C2^2128,248
C22:Q8.146C22 = C42.62D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.146C2^2128,250
C22:Q8.147C22 = C24.61D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.147C2^2128,252
C22:Q8.148C22 = C42.63D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.148C2^2128,253
C22:Q8.149C22 = C2xC22:Q16φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.149C2^2128,1731
C22:Q8.150C22 = C24.178D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.150C2^2128,1736
C22:Q8.151C22 = C2xC8.18D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.151C2^2128,1781
C22:Q8.152C22 = C24.144D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.152C2^2128,1782
C22:Q8.153C22 = C2xC8.D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.153C2^2128,1785
C22:Q8.154C22 = C24.110D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.154C2^2128,1786
C22:Q8.155C22 = M4(2):15D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.155C2^2128,1788
C22:Q8.156C22 = C2xC23.47D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.156C2^2128,1818
C22:Q8.157C22 = C2xC23.20D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.157C2^2128,1820
C22:Q8.158C22 = C2xC23.48D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.158C2^2128,1822
C22:Q8.159C22 = C24.115D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.159C2^2128,1823
C22:Q8.160C22 = C24.183D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.160C2^2128,1824
C22:Q8.161C22 = C24.116D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.161C2^2128,1825
C22:Q8.162C22 = C24.118D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.162C2^2128,1827
C22:Q8.163C22 = C42.222D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.163C2^2128,1833
C22:Q8.164C22 = C42.384D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.164C2^2128,1834
C22:Q8.165C22 = C42.224D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.165C2^2128,1836
C22:Q8.166C22 = C42.225D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.166C2^2128,1837
C22:Q8.167C22 = C42.451D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.167C2^2128,1839
C22:Q8.168C22 = C42.226D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.168C2^2128,1840
C22:Q8.169C22 = C42.228D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.169C2^2128,1842
C22:Q8.170C22 = C42.229D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.170C2^2128,1843
C22:Q8.171C22 = C42.231D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.171C2^2128,1845
C22:Q8.172C22 = C42.232D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.172C2^2128,1846
C22:Q8.173C22 = C42.234D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.173C2^2128,1848
C22:Q8.174C22 = C42.235D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.174C2^2128,1849
C22:Q8.175C22 = C42.365D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.175C2^2128,1899
C22:Q8.176C22 = C42.308D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.176C2^2128,1900
C22:Q8.177C22 = C42.367D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.177C2^2128,1902
C22:Q8.178C22 = C42.255D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.178C2^2128,1903
C22:Q8.179C22 = C42.256D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.179C2^2128,1904
C22:Q8.180C22 = C42.257D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.180C2^2128,1912
C22:Q8.181C22 = C42.258D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.181C2^2128,1913
C22:Q8.182C22 = C42.259D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.182C2^2128,1914
C22:Q8.183C22 = C42.260D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.183C2^2128,1915
C22:Q8.184C22 = C42.262D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.184C2^2128,1917
C22:Q8.185C22 = C23:3Q16φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.185C2^2128,1921
C22:Q8.186C22 = C24.123D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.186C2^2128,1922
C22:Q8.187C22 = C24.124D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.187C2^2128,1923
C22:Q8.188C22 = C24.128D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.188C2^2128,1927
C22:Q8.189C22 = C24.129D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.189C2^2128,1928
C22:Q8.190C22 = C24.130D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.190C2^2128,1929
C22:Q8.191C22 = C42.266D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.191C2^2128,1940
C22:Q8.192C22 = C42.267D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.192C2^2128,1941
C22:Q8.193C22 = C42.268D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.193C2^2128,1942
C22:Q8.194C22 = C42.269D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.194C2^2128,1943
C22:Q8.195C22 = C42.270D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.195C2^2128,1944
C22:Q8.196C22 = C42.273D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.196C2^2128,1947
C22:Q8.197C22 = C42.274D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.197C2^2128,1948
C22:Q8.198C22 = C42.275D4φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.198C2^2128,1949
C22:Q8.199C22 = C42.276D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.199C2^2128,1950
C22:Q8.200C22 = C42.277D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.200C2^2128,1951
C22:Q8.201C22 = C42.281D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.201C2^2128,1961
C22:Q8.202C22 = C42.282D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.202C2^2128,1962
C22:Q8.203C22 = C42.283D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.203C2^2128,1963
C22:Q8.204C22 = C42.284D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.204C2^2128,1964
C22:Q8.205C22 = C42.285D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.205C2^2128,1965
C22:Q8.206C22 = C42.288D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.206C2^2128,1968
C22:Q8.207C22 = C42.289D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.207C2^2128,1969
C22:Q8.208C22 = C42.290D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.208C2^2128,1970
C22:Q8.209C22 = C42.291D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.209C2^2128,1971
C22:Q8.210C22 = C42.292D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.210C2^2128,1972
C22:Q8.211C22 = C42.294D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.211C2^2128,1978
C22:Q8.212C22 = C42.295D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.212C2^2128,1979
C22:Q8.213C22 = C42.296D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.213C2^2128,1980
C22:Q8.214C22 = C42.297D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.214C2^2128,1981
C22:Q8.215C22 = C42.298D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.215C2^2128,1982
C22:Q8.216C22 = C42.299D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.216C2^2128,1983
C22:Q8.217C22 = C42.300D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.217C2^2128,1984
C22:Q8.218C22 = C42.302D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.218C2^2128,1986
C22:Q8.219C22 = C42.303D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.219C2^2128,1987
C22:Q8.220C22 = C42.304D4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.220C2^2128,1988
C22:Q8.221C22 = C2xC22.35C24φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.221C2^2128,2185
C22:Q8.222C22 = C2xC23.41C23φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.222C2^2128,2189
C22:Q8.223C22 = C22.47C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.223C2^2128,2190
C22:Q8.224C22 = C22.50C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.224C2^2128,2193
C22:Q8.225C22 = Q8xC4oD4φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.225C2^2128,2210
C22:Q8.226C22 = C22.69C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.226C2^2128,2212
C22:Q8.227C22 = C22.71C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.227C2^2128,2214
C22:Q8.228C22 = C22.97C25φ: C22/C2 → C2 ⊆ Out C22:Q832C2^2:Q8.228C2^2128,2240
C22:Q8.229C22 = C22.98C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.229C2^2128,2241
C22:Q8.230C22 = C22.104C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.230C2^2128,2247
C22:Q8.231C22 = C22.106C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.231C2^2128,2249
C22:Q8.232C22 = C22.107C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.232C2^2128,2250
C22:Q8.233C22 = C23.146C24φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.233C2^2128,2255
C22:Q8.234C22 = C22.120C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.234C2^2128,2263
C22:Q8.235C22 = C22.137C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.235C2^2128,2280
C22:Q8.236C22 = C22.139C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.236C2^2128,2282
C22:Q8.237C22 = C22.145C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.237C2^2128,2288
C22:Q8.238C22 = C22.154C25φ: C22/C2 → C2 ⊆ Out C22:Q864C2^2:Q8.238C2^2128,2297
C22:Q8.239C22 = C2xC23.37C23φ: trivial image64C2^2:Q8.239C2^2128,2175
C22:Q8.240C22 = C22.33C25φ: trivial image32C2^2:Q8.240C2^2128,2176
C22:Q8.241C22 = C22.91C25φ: trivial image64C2^2:Q8.241C2^2128,2234

׿
x
:
Z
F
o
wr
Q
<